DEFINITION MODULE FileName;


   TYPE String = ARRAY [0..15] OF CHAR;


   PROCEDURE BuildFileName (
      VAR Directory    : (* IN *)  ARRAY OF CHAR;
      VAR FileNameBody : (* IN *)  ARRAY OF CHAR;
      VAR FullFileName : (* OUT *) ARRAY OF CHAR );

      (* Build a file name from it's components. *)


   PROCEDURE GetDirectory (
      VAR FullFileName : (* IN *)  ARRAY OF CHAR;
      VAR Directory    : (* OUT *) ARRAY OF CHAR );

      (* Extract the directory from a FullFileName *)


   PROCEDURE GetFileName (
      VAR FullFileName : (* IN *)  ARRAY OF CHAR;
      VAR FileNameBody : (* OUT *) ARRAY OF CHAR );

      (* Extract the filename body from a FullFileName *)


   PROCEDURE GetExtension (
      VAR FullFileName : (* IN *)  ARRAY OF CHAR;
      VAR Extension    : (* OUT *) ARRAY OF CHAR );

      (* Extract the extension from a FullFileName *)


   PROCEDURE Exists ( VAR File : (* IN *) ARRAY OF CHAR ) : BOOLEAN;

      (* Returns TRUE if the file exists *)


END FileName.

